|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
10/07/1996 |
Data da última atualização: |
16/08/2007 |
Autoria: |
FERNANDES, J. M.; PINA, A. M.; PROENCA, A. J. |
Título: |
Simulacao e sintese de controladores paralelos a partir de especificacoes baseadas em redes de Petri. |
Ano de publicação: |
1995 |
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES - PROCESSAMENTO DE ALTO DESEMPENHO, 7.; CONGRESSO BRASILEIRO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática,1995. |
Páginas: |
p.481-492. |
Idioma: |
Português |
Conteúdo: |
As Redes de Petri (RdP) mostram-se uma metodologia poderosa na modelacao de sistemas de eventos discretos. Tal deve-se, em grande medida, ao conjunto disponivel de tecnicas formais para analise esrutural e dinamica dos sistemas modelados. Apresentam-se as vantagens na utilizacao de RdP, relativamente a outros paradigmas de modelacao, na especificacao de controladores com comportamento paralelo. Sao tambem propostas algumas alteracoes ao comportamento habitual das RdP, de forma a conseguir modelar eficientemente os controladores. E apresentado um novo ambiente de desenvolvimento que permite especificar, analisar, animar, simular e sintetizar estruturas de controle digitais, a partir de uma RdP. Finalmente, e considerado e analisado detalhadamente um exemplo. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01419naa a2200157 a 4500 001 1002891 005 2007-08-16 008 1995 bl uuuu u00u1 u #d 100 1 $aFERNANDES, J. M. 245 $aSimulacao e sintese de controladores paralelos a partir de especificacoes baseadas em redes de Petri. 260 $c1995 300 $ap.481-492. 520 $aAs Redes de Petri (RdP) mostram-se uma metodologia poderosa na modelacao de sistemas de eventos discretos. Tal deve-se, em grande medida, ao conjunto disponivel de tecnicas formais para analise esrutural e dinamica dos sistemas modelados. Apresentam-se as vantagens na utilizacao de RdP, relativamente a outros paradigmas de modelacao, na especificacao de controladores com comportamento paralelo. Sao tambem propostas algumas alteracoes ao comportamento habitual das RdP, de forma a conseguir modelar eficientemente os controladores. E apresentado um novo ambiente de desenvolvimento que permite especificar, analisar, animar, simular e sintetizar estruturas de controle digitais, a partir de uma RdP. Finalmente, e considerado e analisado detalhadamente um exemplo. 700 1 $aPINA, A. M. 700 1 $aPROENCA, A. J. 773 $tIn: SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES - PROCESSAMENTO DE ALTO DESEMPENHO, 7.; CONGRESSO BRASILEIRO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática,1995.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 1 | |
1. | | MOREIRA, N. R. da S.; SILVA, D. A. da S.; VASCONCELOS, J. M.; RAPOSO, A. Utilização do ácido girebélico (AG3) do desenvolvimento in vitro de embriões zigóticos de seringueira (Hevea spp.). In: CONGRESSO BRASILEIRO DE RECURSOS GENÉTICOS, 2., 2012, Belém, PA. Anais... Brasília, DF: Sociedade Brasileira de Recursos Genéticos, 2012. 4 p. 1 CD-ROM.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Acre. |
| |
Registros recuperados : 1 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|